Semantics of logic - PDFSEARCH.IO - Document Search Engine

Semantics of logic
Results: 1541

#	Item
611	Coeffects: A calculus of context-dependent computation Tomas Petricek Dominic Orchard Alan Mycroft Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-16 05:18:39 Programming language semantics Denotational semantics Logic in computer science Curvature Free variables and bound variables Vector space Lambda calculus Monad Mathematics Algebra Models of computation
612	Compositional Type Systems for Stack-Based Low-Level Languages Ando Saabas Tarmo Uustalu Institute of Cybernetics at Tallinn University of Technology Add to Reading List Source URL: set.ee Language: English - Date: 2006-10-30 06:58:01 Philosophy of language Philosophy of mind Semantics Entailment Zeta Symbol Logic Interpretation Model theory
613	Foundational certification of data-flow analyses Maria Jo˜ao Frade Departamento de Inform´atica Universidade do Minho Campus de Gualtar, P[removed]Braga, Portugal Email: [removed] Add to Reading List Source URL: set.ee Language: English - Date: 2007-12-06 06:23:21 Mathematics Metalogic Hoare logic Predicate transformer semantics Structure Interpretation Program logic Model theory Logic
614	Microsoft Word - final version.doc Add to Reading List Source URL: www.philosophyofinformation.net Language: English - Date: 2014-03-28 12:54:10 Philosophy of language Analytic philosophy Meaning Philosophical logic Knowledge representation Symbol grounding Internalism and externalism Philosophy of information Language Semantics Philosophy Logic
615	Summary of Successful ARC Future Fellowships Proposals for Funding to Commence in 2010 by State and Organisation New South Wales University of Technology, Sydney FT100100218 Add to Reading List Source URL: www.arc.gov.au Language: English - Date: 2010-11-15 19:09:56 Zhu Feng WP Formal methods Predicate transformer semantics Program logic
616	Language features of persuasive texts Language feature Definition Effects Example Rhetorical question Add to Reading List Source URL: toowoombshs.eq.edu.au Language: English - Date: 2013-09-01 19:44:21 Logic Analytic philosophy Definition Lexicography Meaning Philosophical logic Repetition Linguistics Rhetoric Semantics
617	For the anthology FORM, Pfau Verlag, 1999 Tom Johnson On Form For me the most important aspect of form is the relationship between the microcosm Add to Reading List Source URL: www.editions75.com Language: English - Date: 2006-10-14 10:27:11 Propositional calculus Semantics Logical connectives Logic Esoteric cosmology Macrocosm and microcosm Group Logic programming Negation Science Mathematics Symmetry
618	Exploring the KD45n Property of a Kripke Model After the Execution of an Action Sequence Tran Cao Son and Enrico Pontelli Chitta Baral and Gregory Gelfond Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2014-11-28 03:28:24 Mathematics Model theory Philosophical logic Artificial intelligence Epistemic modal logic Kripke semantics Structure Symbol Logic Mathematical logic Modal logic
619	Latent Domain Translation Models in Mix-of-Domains Haystack Hoang Cuong and Khalil Sima’an Institute for Logic, Language and Computation University of Amsterdam Science Park 107, 1098 XG Amsterdam, The Netherlands Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2014-08-08 12:25:17 Mathematical logic Machine translation Semantics Interpretation Philosophy of language Philosophy of mind Function BLEU Statistical machine translation Mathematics Model theory Mathematical analysis
620	ANSWER SET PROGRAMMING KNOWLEDGE REPRESENTATION, REASONING AND DECLARATIVE PROBLEM SOLVING USING ANSPROLOG: WWW.BARAL.US/BOOKONE Chitta Baral Department of Computer Science and Engg. Add to Reading List Source URL: www.public.asu.edu Language: English* - Date: 2004-06-18 11:01:46 Non-classical logic Reasoning Knowledge Knowledge representation Programming paradigms Knowledge representation and reasoning Non-monotonic logic Stable model semantics Default logic Science Logic programming Logic

UPDATE